1. Fields of logic and computation
پدیدآورنده: / Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computer science, Mathematics,Information theory,Formal methods (Computer science)
رده :
QA76
.
9
.
M35F54
2010

